Раздел математической логики, в котором изучаются логические операции над высказываниями.